Non-monotonic Inference

A Process Theory of Non-monotonic Inference

Artificial Intelligence needs a formal theory of the process of non-monotonic reasoning. Ideally, such a theory would decide, for every proposition and state of the process, whether the program should believe the proposition in that state, or remain agnostic. Without non-monotonic inference rules, non-monotonic inferences cannot be explained in the same relational, rule-based fashion as other i...

Non - Monotonic Inference on Sequenced Belief Bases (

Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic

Following up our previous work [9], we distinguish the monotonic properties and the non-monotonic ones in our inference system based on the framework of compositional logic, and give the way to include some non-monotonic properties. As an example, we present a correctness proof of Challenge Response protocol, and explain how such properties can be used in more powerful derivations. We also give...

Exploiting Non-monotonic Influences in Qualitative Belief Networks

In a qualitative belief network, dependences between variables are indicated by qualitative signs. These signs serve to model monotonic probabilistic relationships only: non-monotonic relationships between variables are modelled as lack of information. In this paper, we propose to include information about non-monotonic probabilistic influences between variables explicitly in a qualitative beli...

Monotonic and Nonmonotonic Inference for Abstract Argumentation

We present a new approach to reasoning about the outcome of an argumentation framework, where an agent’s reasoning with a framework and semantics is represented by an inference relation defined over a logical labeling language. We first study a monotonic type of inference which is, in a sense, more general than an acceptance function, but equally expressive. In order to overcome the limitations...